• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Villadsen, Jørgen (6)
    • Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS) (2)
    • Blache, Philippe (2)
    • Christiansen, Henning (2)
    • Department of Applied Mathematics and Computer Science (2)
    • Laboratoire Parole et Langage (LPL) (2)
    • Technical University of Denmark Lyngby (DTU) (2)
    • ANR-16-CONV-0002,ILCB,ILCB: Institute of Language Communication and the Brain(2016) (1)
    • Dahl, Verónica (1)
    • Denys Duchier (1)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 7 of 7 1 Teaching a Formalized Logical Calculus ... From, Asta Halkjær; Jensen, Alexander Birch; Schlichtkrull, Anders. - : arXiv, 2020 BASE Show details 2 Constraints and Language Blache, Philippe; Christiansen, Henning; Duchier, Denys. - : HAL CCSD, 2014. : Cambridge Scholar Publishing, 2014 In: https://hal.archives-ouvertes.fr/hal-01059196 ; France. Cambridge Scholar Publishing, pp.325, 2014, 978-1-4438-6052-9 (2014) BASE Show details 3 Constraints in (computational) linguistics Blache, Philippe; Villadsen, Jørgen In: Constraints and Language ; https://hal.archives-ouvertes.fr/hal-01481604 ; Philippe Blache, Henning Christiansen, Verónica Dahl, Denys Duchier, Jørgen Villadsen. Constraints and Language, Cambridge Scholars Publishing, 2014 (2014) BASE Show details 4 Nabla : a linguistic system based on type theory Villadsen, Jørgen [Verfasser]. - 2010 DNB Subject Category Language Show details 5 Nabla : a linguistic system based on type theory Villadsen, Jørgen. - Berlin : Lit, 2010 UB Frankfurt Linguistik Show details 6 Constraint Solving and Language Processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers Christiansen, Henning; Skadhauge, Peter Rossen; Villadsen, Jørgen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 UB Frankfurt Linguistik Show details 7 Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics ... Villadsen, Jørgen. - : arXiv, 2004 BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 2 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 1 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 4 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0